An extension of matching theory

Instrument dependency of Kubelka-Munk theory in computer color matching

Different industries are usually faced with computer color matching as an important problem. The most famous formula which is commonly used for recipe prediction is based on Kubelka-Munk K-M theory. Considering that spectrophotometer’s geometry and its situation influence the measured spectral values, the performance of this method can be affected by the instrument. In the present study, three ...

An Extension of the Maxwell Theory.

CATEGORY THEORY as an extension of Martin - Lflf Type Theory

Category theory has tong been widely recognised as being conveniently formalisable In constructive mathematics. We describe a computer implementation of its basic concepts, as an extension of the Goteborg implementation of Martin-Lofs theory of types; we discuss some alternative formulations of the theory (and our reasons for rejecting them) and briefly comment on the problems of automating the...

Barycentric extension of generalized matching.

In most studies of choice under concurrent schedules of reinforcement, two physically identical operanda are provided. In the "real world," however, more than two choice alternatives are often available and biases are common. This paper describes a method for studying choices among an indefinite number of alternatives when large biases are present. Twenty rats were rewarded for choosing among f...

Matching Objects Without Language Extension

Pattern matching is a powerful programming concept which has proven its merits in declarative programming. The absence of pattern-matching in object-oriented programming languages is felt especially when tackling source code processing problems. But existing proposals for pattern matching in such languages rely on language extension, which makes their adoption overly intrusive. We propose an ap...